The Symbolic

Results: 605



#Item
101

Symbolic-Numeric Aspects in Computation of Invariant Pairs for Matrix Polynomials Esteban Segura Ugalde XLIM-DMI, Universit´e de Limoges The generalized eigenvalue/eigenvector problem for matrix polynomials consists in

Add to Reading List

Source URL: jncf2013.imag.fr

Language: English - Date: 2013-05-10 06:31:08
    102

    Article Submitted to Journal of Symbolic Computation A Constructive Algebraic Hierarchy in Coq Herman Geuvers, Randy Pollack, Freek Wiedijk and Jan Zwanenburg Department of Computer Science, Nijmegen University, the Net

    Add to Reading List

    Source URL: www.cs.ru.nl

    Language: English - Date: 2004-01-15 09:13:28
      103

      SCC 2010 2nd International Conference on Symbolic Computation and Cryptography http://scc2010.rhul.ac.uk/ Royal Holloway, University of London, United Kingdom CALL FOR PAPERS SCC 2010 is the second edition of a new serie

      Add to Reading List

      Source URL: scc2010.rhul.ac.uk

      Language: English - Date: 2009-12-18 09:15:27
        104

        Learning words from pictures: 15- and 17-month-old infants appreciate the referential and symbolic links among words, pictures, and objects

        Add to Reading List

        Source URL: groups.psych.northwestern.edu

        Language: English - Date: 2014-08-20 12:37:54
          105

          The 17th International Symposium on Symbolic and Numerical Algorithms for Scientific Computing 21st – 24th September 2015 Timis¸oara, Romania

          Add to Reading List

          Source URL: synasc.ro

          Language: English - Date: 2015-09-20 07:51:32
            106

            TRANSFORMATIONS Use the numerical representation of below to match the numerical information in column A with the symbolic representation in column B. -4 -2 0 2 4

            Add to Reading List

            Source URL: math.arizona.edu

            - Date: 2003-08-27 12:55:15
              107

              Symbolic Bisimulation for the Applied Pi Calculus ∗ St´ephanie Delaune1

              Add to Reading List

              Source URL: www.cs.bham.ac.uk

              Language: English - Date: 2009-06-30 03:41:27
                108

                Toward the Integration of Symbolic and Numerical Static Analysis Arnaud Venet Kestrel Technology 3260 Hillview Avenue Palo Alto, CA 94304

                Add to Reading List

                Source URL: vstte.ethz.ch

                Language: English - Date: 2005-10-11 03:37:12
                  109

                  The sound symbolic nature of Japanese maid names∗ Kazuko Shinohara Tokyo University of Agriculture and Technology &

                  Add to Reading List

                  Source URL: user.keio.ac.jp

                  Language: English - Date: 2013-06-04 01:27:39
                    110

                    11th International Society for Music Information Retrieval Conference (ISMIREVALUATING THE GENRE CLASSIFICATION PERFORMANCE OF LYRICAL FEATURES RELATIVE TO AUDIO, SYMBOLIC AND CULTURAL FEATURES Cory McKay, John A

                    Add to Reading List

                    Source URL: www.music.mcgill.ca

                    Language: English
                      UPDATE